bounded lattice